Trust Evaluation for Paths in Mobile Ad Hoc Networks

I. FORMALIZATION OF PHYSICAL LAYER NEIGHBORHOOD LIST EXCHANGE In our project, we introduce a cross layer approach to secure multi-path routing in wireless mobile ad-hoc networks. Neighborhood information is collected at the physical layer to facilitate the security estimation in higher layer. The protocol for physical layer neighborhood list exchange is described by specifying a program for each role involved in. The program executed by each entity performing each protocol role can not only indicate which actions occur in a run but also why they occur. This high-lever description is essential to formally analyzing security properties of the protocol. Involved in the physical layer neighborhood list exchange protocol are two roles, the central node and the neighbor nodes. Here, we try to formalize the neighborhood information collection process using PCL building blocks, which can provide insights on the protocol design. Basically, each central node (every node can assume the role of central node) in the network periodically sends out hello beacons conveying its presence. This enables nodes in their radio proximity to be aware of who their neighbors are. Presented below is rule for entity to send out HelloBeacon. These messages are sent out with nounce.